solve x^3-x^2+x-1 over the reals